101. Mathematical Foundations of Computer Science 1989 :
پدیدآورنده : edited by Antoni Kreczmar, Grazyna Mirkowska.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Computer software.,Logic design.
رده :
QA76
.
9
.
M35
E358
1989


102. Metaheuristics :
پدیدآورنده : edited by Karl F. Doerner [and others].
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Mathematical optimization.,System analysis-- Mathematics.,Affaires.,Economie de l'entreprise.,Heuristiek.,Komplexes System,Mathematical optimization.,Mathematical optimization.,Optimaliseren.,Optimierung,Science économique.,SCIENCE-- System Theory.,System analysis-- Mathematics.,TECHNOLOGY & ENGINEERING-- Operations Research.
رده :
QA402
.
M474
2007eb


103. Models for Parallel and Distributed Computation
پدیدآورنده : edited by Ricardo Corrêa, Inês Dutra, Mario Fiallos, Fernando Gomes.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algebra-- Data processing.,Combinatorics.,Computational complexity.,Computer science.,Information theory.

104. Multi-Threaded Object-Oriented MPI-Based Message Passing Interface
پدیدآورنده : by Jean-Marc Adamo.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer Communication Networks.,Computer science.,Information theory.

105. Multicore software engineering, performance, and tools :
پدیدآورنده : João M. Lourenço ... (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع :
رده :
TK7874
.
6
J636
2013


106. NASA Formal Methods :
پدیدآورنده : Julia M. Badger, Kristin Yvonne Rozier (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Formal methods (Computer science), Congresses.,Formal methods (Computer science)
رده :
QA76
.
9
.
F67
N45
2019


107. Network and parallel computing :
پدیدآورنده : Erik Altman, Weisong Shi (editions.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer network architectures, Congresses,Parallel processing (Electronic computers), Congresses
رده :
QA76
.
58
.
N63
2011


108. Network and parallel computing :
پدیدآورنده : Ching-Hsien Hsu, Xiaoming Li, Xuanhua Shi, Ran Zheng (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer networks, Congresses,Parallel computers, Congresses,Parallel processing (Electronic computers), Congresses
رده :
QA76
.
58
.
N63
2013


109. Network and parallel computing :
پدیدآورنده : Feng Zhang, Jidong Zhai, Marc Snir, Hai Jin, Hironori Kasahara, Mateo Valero (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer networks, Congresses.,Parallel computers, Congresses.,Parallel processing (Electronic computers), Congresses.,Computer networks.,Parallel computers.,Parallel processing (Electronic computers)
رده :
QA76
.
58


110. Network-based parallel computing
پدیدآورنده : Dhabaleswar K. Panda, Craig B. Stunkel, eds.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Parallel processing (Electronic computers), Congresses.

111. Networked Digital Technologies :
پدیدآورنده : edited by Filip Zavoral, Jakub Yaghob, Pit Pichappan, Eyas El-Qawasmeh.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computer Communication Networks.,Computer science.,Database management.,Information storage and retrieval systems.,Information systems.,Software engineering.,Artificial Intelligence (incl. Robotics).,Computer Communication Networks.,Computer Science.,Information Storage and Retrieval.,Information Systems Applications (incl. Internet).,Software Engineering.,Software Engineering/Programming and Operating Systems.,Artificial intelligence.,Computer science.,Database management.,Information storage and retrieval systems.,Software engineering.
رده :
QA76
.
76
.
A65
I58
2010


112. Neural Networks in Optimization
پدیدآورنده : by Xiang-Sun Zhang.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algorithms.,Information theory.,Mathematical optimization.,Operations research.,Physics.

113. Neurocomputing :
پدیدآورنده : edited by Françoise Fogelman Soulié, Jeanny Hérault.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Biology -- Data processing.,Computer science.,Neurosciences.
رده :
QA76
.
87
E358
1990


114. New trends in computer technologies and applications :
پدیدآورنده : Chuan-Yu Chang, Chien-Chou Lin, Horng-Horng Lin (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Electronic data processing, Congresses.,Self-organizing systems, Congresses.,Electronic data processing.,Self-organizing systems.
رده :
QA75
.
5
.
I58
2018


115. Nonlinear Assignment Problems
پدیدآورنده : edited by Panos M. Pardalos, Leonidas S. Pitsoulis.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Information theory.,Mathematical optimization.

116. Nonlinear Programming and Variational Inequality Problems
پدیدآورنده : by Michael Patriksson.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algorithms.,Computer science-- Mathematics.,Information theory.,Mathematical optimization.,Mathematics.

117. Optimization techniques for solving complex problems
پدیدآورنده : / edited by Enrique Alba ... [et al.]
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Computer science--Mathematics,Mathematical optimization,Problem solving
رده :
QA76
.
9
.
M35
,
O78
2009


118. Optimization techniques for solving complex problems /
پدیدآورنده : edited by Enrique Alba [and others].
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science-- Mathematics.,Mathematical optimization.,Problem solving.,Computer science-- Mathematics.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Mathematical optimization.,Problem solving.
رده :
QA76
.
9
.
M35
O78
2009eb


119. PRICAI 2000 :
پدیدآورنده : 6th Pacific Rim International Conference on Artificial Intelligence, Melbourne, Australia, August 28 - September 1, 2000 ; Riichiro Mizoguchi, John Slaney (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : računalništvo -- umetna inteligenca -- logika -- logično programiranje -- ojačano učenje -- strojno učenje -- odkrivanje znanja -- Bayesianove mreže -- avtonomni agenti -- genetski algoritmi -- genetsko programiranje -- nevronske mreže -- rob

120. Parallel Algorithms in Computational Science
پدیدآورنده : edited by Dieter W. Heermann, Anthony N. Burkitt.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Biology -- Data processing.,Chemistry.,Physics.
رده :
QA76
.
5
E358
1991

